Tools for the Development of Application - Speci cVirtual Memory
نویسندگان
چکیده
While many applications incur few page faults, some scientiic and database applications perform poorly when running on top of a traditional virtual memory implementation. To help address this problem, several systems have been built to allow each program the ex-ibility to use its own application-speciic page replacement policy, in place of the generic policy provided by the operating system. This has the potential to improve performance for the class of applications limited by virtual memory behavior; however, to realize this performance gain, application developers must re-implement much of the virtual memory system, a non-trivial programming task. Our goal is to make it easy for programmers to develop new application-speciic page replacement policies. To do this, we have implemented (i) an extensible object-oriented user-level virtual memory system and (ii) a graphical performance monitor for virtual memory behavior. Together, these help the user to identify problems with an application's existing paging policy and to quickly modify the system to x these problems. We have used our tools for tuning the virtual memory performance of several applications; we present one case study illustrating the beneets and the limitations of our tools.
منابع مشابه
Generation of knowledge-acquisition tools from domain ontologies
Metalevel tools can support the software development process by automating the design of taskand application-speci c tools. Dash is a metalevel tool that allows developers to generate domain-speci c knowledge-acquisition tools from domain ontologies. Domain specialists use the knowledge-acquisition tools generated by dash to instantiate the concepts and relationships de ned in the domain ontolo...
متن کاملSoftware Issues in High-performance Computing and a Framework for the Development of Hpc Applications
We identify the following key problems faced by HPC software: (1) the large gap between HPC design and implementation models in application development, (2) achieving high performance for a single application on di erent HPC platforms, and (3) accommodating constant changes in both problem speci cation and target architecture as computational methods and architectures evolve. To attack these pr...
متن کاملApplication of Formal Speci cation to Software Maintenance
This paper describes the use of formal speci cations and associated tools in addressing various aspects of software maintenance | corrective, perfective, and adaptive. It also addresses the re nement of the software development process to build programs that are easily maintainable. The task of software maintenance in our case includes the task of maintaining the speci cation as well as maintai...
متن کاملTool Speci cation with GTSL
The de nition of software development methods encompasses the de nition of syntax and static semantics of formal languages. These languages determine documents to be produced during the application of a method. Developers demand language-based tools that provide document production support, check syntax and static semantics of documents and thus implement methods. Method integration must determ...
متن کاملMetaCore : An Application Speci c DSP Development System
This paper describes the MetaCore system which is an ASIP(Application-Speci c Instruction set Processor) development system targeted for DSP applications. The goal of MetaCore system is to o er an e cient design methodology meeting speci cations given as a combination of performance, cost and design turnaround time. MetaCore system consists of two major design stages: design exploration and des...
متن کامل